WORST_CASE(?,O(n^2))

Solution:
---------

  "-" :: ["A"(4, 8) x "A"(0, 0)] -(1)-> "A"(4, 8)
  "0" :: [] -(0)-> "A"(0, 0)
  "f" :: ["A"(8, 8) x "A"(12, 8)] -(0)-> "A"(0, 0)
  "p" :: ["A"(4, 8)] -(0)-> "A"(12, 8)
  "s" :: ["A"(12, 8)] -(4)-> "A"(4, 8)
  "s" :: ["A"(0, 0)] -(0)-> "A"(0, 0)
  "s" :: ["A"(16, 8)] -(8)-> "A"(8, 8)
  "s" :: ["A"(20, 8)] -(12)-> "A"(12, 8)


Cost Free Signatures:
---------------------

  "-" :: ["A"_cf(8, 0) x "A"_cf(0, 0)] -(1)-> "A"_cf(0, 0)
  "-" :: ["A"_cf(1, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(1, 0)
  "-" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "0" :: [] -(0)-> "A"_cf(0, 0)
  "f" :: ["A"_cf(1, 0) x "A"_cf(0, 0)] -(1)-> "A"_cf(1, 1)
  "f" :: ["A"_cf(0, 0) x "A"_cf(0, 0)] -(1)-> "A"_cf(1, 1)
  "p" :: ["A"_cf(1, 0)] -(0)-> "A"_cf(1, 0)
  "p" :: ["A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "s" :: ["A"_cf(8, 0)] -(8)-> "A"_cf(8, 0)
  "s" :: ["A"_cf(0, 0)] -(0)-> "A"_cf(0, 0)
  "s" :: ["A"_cf(1, 0)] -(1)-> "A"_cf(1, 0)


Base Constructors:
------------------